Goal-Oriented and Procedural Service Orchestration A Formal Comparison
نویسندگان
چکیده
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goals are part of the language. The advantage of using goals explicitly in the language is added flexibility in handling failures. In this paper, we investigate how goal-oriented mechanisms for handling failures compare to more standard exception handling mechanisms, by providing a formally defined translation of programs in the goal-oriented orchestration language into programs in the procedural orchestration language, and proving that the procedural orchestration has the same behavior as the goal-oriented orchestration.
منابع مشابه
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goals are part of the language. The advantage of using goals explicitly in the language is added flexibility in handling failures. In this paper, we investigate how goal-oriented mechanisms for handling failures compare ...
متن کاملSpecifying Formal executable Behavioral Models for Structural Models of Service-oriented Components
This paper presents a behavioral formalism based on the Abstract State Machine (ASM) formal method and intended for high-level, platform-independent, executable specification of Service-oriented Components. We complement the recent Service Component Architecture – a graphical notation able to provide the overall and the components structure – with an ASM-based formalism able to describe the wor...
متن کاملUsing Goals for Flexible Service Orchestration A First Step
This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use goal-oriented techniques from the field of cognitive agent programming for service orchestration. The advantage of using an explicit representation of goals in programming languages is the flexibility in handling failure that goal...
متن کاملModélisation et Test Fonctionnel de l'Orchestration de Services Web. (Modelisation & Functional Testing of Web Services Orchestration)
Last years have seen the emergence of the service oriented architecture (SOA) designed to facilitate the creation, the publication, the networking and the reuse of applications based on services. Web services are the most important realization of the SOA architecture. They are self descriptive and modular entities which provide a simple model of programming and application deployment. Web servi...
متن کاملA Survey of Web services Orchestration and Choreography with Formal Models
The service-oriented architecture (SOA) promises a new generation of information systems applications based on a new set of standards for enabling self-describing interoperable Web services. Web service orchestration and choreography are both concerned with the composition of Web services to meet the needs of business processes. There are two important standards for modeling and implementing wo...
متن کامل